Section: New Results
Formal Description of Dynamic Logic
Participants : Yves Bertot, Cyril Cohen, Jean-Yves Franceschi.
We developed a formal description of the language of dynamic logic in the Coq system.
Participants : Yves Bertot, Cyril Cohen, Jean-Yves Franceschi.
We developed a formal description of the language of dynamic logic in the Coq system.